Ralph-Johan Back (auth.): tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (10)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 5.96 MB

0 / 0

english, 2002

2

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 5.83 MB

0 / 0

english, 2006

3

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 4.48 MB

0 / 0

english, 2009

4

Transactions on Computational Systems Biology XIII

Transactions on Computational Systems Biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 3.27 MB

0 / 0

english, 2011

5

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Michael Johnson, Varmo Vene (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 4.02 MB

0 / 0

english, 2006

6

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 6.11 MB

0 / 0

english, 2005

7

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 4.62 MB

0 / 0

english, 2009

8

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 2.49 MB

0 / 0

english, 2010

9

Transactions on computational systems biology XIII

Transactions on computational systems biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 3.25 MB

0 / 0

english, 2011

10

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 2.59 MB

0 / 0

english, 2010